$\forall$$a_{1}$, $a_{2}$, $b$:$\mathbb{Z}$. CoPrime($a_{1}$,$a_{2}$) $\Rightarrow$ $a_{1}$ $\mid$ $b$ $\Rightarrow$ $a_{2}$ $\mid$ $b$ $\Rightarrow$ $a_{1}$$\cdot$$a_{2}$ $\mid$ $b$